Batch Scripting Facilities for Design/CPN
نویسندگان
چکیده
This paper contains a design proposal for facilities for doing batch simulations in Design/CPN. These facilities can be used for running a group of simulations without user interaction. We discuss what kind of functionality is needed to run batch simulations. We also give proposals on how to implement this functionality in Design/CPN. To illustrate the use of the batch scripting facilities we present examples of how batch simulations can be defined.
منابع مشابه
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets – Version 1.0 and Beyond
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manual interaction. The tool features incremental syntax checking and code generation which take place while a net is being constructed. Version 1.0 of CPN Tools was released in November 2003. The version is stable, well-t...
متن کاملFacilitating the Practical Use of Coloured Petri Nets
This paper describes an approach which allows users without knowledge of coloured Petri nets to control the simulation of coloured Petri net models and interpret the results obtained from simulations via web-based interfaces. We describe the architecture design of facilities in a simulation tool for making it possible to simulate a coloured Petri net model via a web-based interface. The approac...
متن کاملA Colored Petri Net Model for Analyzing Batch Sequential Control System
This paper describes a modeling and analyzing method for batch sequential control systems by using colored Petri net (CPN) model. For this purpose, we propose systematic procedures to create CPN model from a various information based on ISA S88, i.e., master recipe, equipment information and batch schedule. To examine the effectiveness of the proposed method, we applied it to a two-step polymer...
متن کاملBatch Proving and Proof Scripting in PVS
The batch execution modes of PVS are powerful, but highly technical, features of the system that are mostly accessible to expert users. This paper presents a PVS tool, called ProofLite, that extends the theorem prover interface with a batch proving utility and a proof scripting notation. ProofLite enables a semi-literate proving style where specification and proof scripts reside in the same fil...
متن کاملScripting Facilities in Open Hypermedia: Experiences from the Webvise Open Hypermedia System
This paper discusses an approach to scripting in open hypermedia systems. The approach is based on an embedded interpreter that enables scripts to communicate with the hypermedia engine as well as external applications in an open way. The design and implementation of the scripting facilities in the Webvise open hypermedia system exemplify this approach. In Webvise, scripting is closely connecte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999